Programming language theory
BRANCH OF COMPUTER SCIENCE THAT DEALS WITH THE DESIGN, IMPLEMENTATION, ANALYSIS, CHARACTERIZATION, AND CLASSIFICATION OF PROGRAMMING LANGUAGES AND THEIR INDIVIDUAL FEATURES
Programming language research; Theory of programming languages; Theory of programming; History of programming language theory
Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. Programming language theory is closely related to other fields including mathematics, software engineering, and linguistics.